1. An introduction to combinators and )Lambda(-calculus
پدیدآورنده : Hindley, J. Roger
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56I5
2. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
پدیدآورنده : / Edited by C. Bohm
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
رده :
QA
905
.
L35
3. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
4. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
5. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
6. Combinatory logic
پدیدآورنده : / Haskell B. Curry, Robert Feys; With two sections by William Cr aig
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Combinatory logic
رده :
511
.
3
C976
7. Combinatory logic
پدیدآورنده : [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
رده :
QA9
.
5
.
C87
8. Combinatory logic
پدیدآورنده : Curry, Haskell Brooks
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Combinatory logic
رده :
QA
9
.
5
.
C87
9. Combinatory logic
پدیدآورنده : Katalin Bimbao
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Combinatory logic
رده :
QA
9
,.
5
.
B52C6
2012
10. Combinatory logic. Volume II
پدیدآورنده : [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatory logic.,MATHEMATICS -- Infinity.,MATHEMATICS -- Logic.
11. Combinatory logic : pure, applied and typed
پدیدآورنده : Bimbo, Katalin, 3691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Combinatory logic
رده :
QA
9
.
5
.
B55C6
12. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory,، Combinatory logic
رده :
QA
9
.
6
.
S55
1992
13. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory,، Combinatory logic
رده :
QA
9
.
6
.
S56
14. Disertación acerca del arte combinatorio
پدیدآورنده : de G.W. Leibniz ; versión directa del Latín, Manuel Antonio Correia M.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatory logic.,Leibniz, Gottfried Wilhelm, -- Freiherr von, -- 1646-1716 -- Logic.,LOGICA COMBINATORIA.
رده :
QA9
.
5
D449
1992
15. Elements of combinatory logic
پدیدآورنده : / Frederic B. Fitch
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Combinatory logic
رده :
511
.
3
Fi-E
16. Introduction to combinators and ]lambda[-calculus
پدیدآورنده : Hindley, J. Roger
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56
1986
17. Lambda-calculus and combinators : an introduction
پدیدآورنده : Hindley, J. Roger
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H56L3
18. Lambda-calculus and combinators, an introduction
پدیدآورنده : Hindley, J. Roger.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H565
2008
19. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
20. Lambda-calculus, combinators, and functional programming
پدیدآورنده : Revesz, Gyorgy E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Lambda calculus,، Combinatory logic,، Functional programming languages
رده :
QA
9
.
5
.
R48
1988
